Mapping Mixed-Criticality Applications on Multi-Core Architectures Georgia Giannopoulou, Nikolay Stoimenov, Pengcheng Huang, Lothar Thiele Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Switzerlan

Source URL: www.tik.ethz.ch

• Computing
• Parallel computing
• Computer memory
• Engineering
• Operations research
• Concurrent computing
• Cache
• Cache memory
• Program optimization
• Mathematical optimization
• Scheduling
• Thread

Microsoft Word - SGP07-Preprint.doc

Source URL: geometry.stanford.edu

• Operations research
• Mathematical optimization
• 3D modeling
• Topology
• Linear programming
• Mathematics
• Structure
• Computer science

Kludged∗ Jeffrey C. Ely† October 4, 2007 Abstract Is there reason to believe that our brains have evolved to make efficient decisions so that the details of the internal process by which

Source URL: www.najecon.org

• Biology
• Operations research
• Behavior
• Academia
• Mathematical optimization
• Ethology
• Theoretical computer science
• Adaptation
• Evolutionary biology
• Natural selection
• Kludge
• Algorithm

Recursive Decomposition for Nonconvex Optimization Supplementary Material Abram L. Friesen and Pedro Domingos Department of Computer Science and Engineering University of Washington Seattle, WA 98195, USA

Source URL: homes.cs.washington.edu

Optgen: A Generator for Local Optimizations Sebastian Buchwald Karlsruhe Institute of Technology Abstract. Every compiler comes with a set of local optimization rules,

Source URL: pp.info.uni-karlsruhe.de

• Software
• Compiler optimizations
• Computer programming
• Peephole optimization
• Superoptimization
• Constant folding
• Compiler
• Program optimization
• Satisfiability modulo theories
• Expression
• Static single assignment form
• GNU Compiler Collection

An Empirical Analysis of Optimization for Max-Margin NLP Jonathan K. Kummerfeld, Taylor Berg-Kirkpatrick and Dan Klein Computer Science Division University of California, Berkeley Berkeley, CA 94720, USA {jkk,tberg,klein

Source URL: www.jkk.name

Pivot in a Nutshell NB: Pivot’s excellent help text is available on each page, bottom left corner, and includes video guides. 1. Access and Login  Basic funding searches are accessible via any UCI computer:

Source URL: www.research.uci.edu

• Internet marketing
• Microsoft Office
• Web search engine
• Pivot
• Search engine optimization
• Outlook.com

Exploring Promising Stepping Stones by Combining Novelty Search with Interactive Evolution Brian G. Woolley and Kenneth O. Stanley , arXiv:1207.6682v1 [cs.NE] 28 Jul 2012

Source URL: eplex.cs.ucf.edu

• Evolutionary computation
• Evolutionary algorithms
• Evolution
• Applied mathematics
• Artificial intelligence
• Cybernetics
• Interactive evolutionary computation
• Theoretical computer science
• Neuroevolution of augmenting topologies
• Neuroevolution
• Mathematical optimization
• Fitness landscape

Root FindingMinimization Parabola ..................... .............

Source URL: genome.sph.umich.edu

• C++
• Software engineering
• Parabolas
• Computer programming
• Curves
• Root-finding algorithm
• C++ string handling
• Mathematical optimization
• Computing

Directed Graph Exploration Klaus-Tycho Foerster and Roger Wattenhofer Computer Engineering and Networks Laboratory, ETH Zurich, 8092 Zurich, Switzerland {k-t.foerster,wattenhofer}@tik.ee.ethz.ch

Source URL: www.tik.ee.ethz.ch

• Graph theory
• Mathematics
• Combinatorial optimization
• Edsger W. Dijkstra
• Routing algorithms
• Search algorithms
• Graph traversal
• Shortest path problem
• A* search algorithm
• Directed graph
• Matching
• Connectivity